About
Pedro Nascimento has worked as an engineer at Google and Twitter. He holds expertise in computer science, machine learning, and mathematics, with experience in both academic and professional settings.
Pedro Nascimento @pedromnasc
Only n = 6 and 7 remaining now. They seem to be the hardest ones
Jul 23, 2026 · ♥ 1
Pedro Nascimento @pedromnasc
Still improving the results, have now reduced the range to 6 ≤ n ≤ 9 https://t.co/b1HMr6tXUM
Jul 23, 2026 · ♥ 2
Pedro Nascimento @pedromnasc
Dittert's conjecture (https://t.co/u7Q2fKHtTM) — a 1980s relative of the van der Waerden permanent problem — was known for n ≤ 3 and, as of this month, n ≥ 16. Working with GPT-5.6 Pro, I've proved it in dimensions 4, 14, and 15, plus an independent proof of 16 (recently
Jul 23, 2026 · ♥ 4 · ⇄ 1
Founder at FindlyYC S22
Intro paths
Pedro went through Y Combinator (Summer 2022) — any YC alum in your network can reach them through the YC community.
Their group partner at YC was Brad Flora, General Partner at Y Combinator — the partner who ran Findly's batch and knows the company first-hand. YC profile ↗
In turn, Pedro can intro founders to Findly's investors below.
Findly's investors · 1
Co-founders at Findly
